Nuprl Lemma : implies_antisymmetry 13,42

PQ:. (P  Q (Q  P (P  Q
latex


Upcore 2, core 2
Definitionst  T, P  Q, P & Q, P  Q, P  Q, , x:AB(x)

origin